只需证定义中的第二点:

从而为下鞅.